An Approach to Combine Heterogeneous Specification Components
نویسندگان
چکیده
In this report, we advocate an approach to combine formal specification components. Our work aims at building or reusing specification components, and compose them with a gluing language constituted of a minimal but sufficient set of operators. The glue allows to have at one’s disposal a global formal specification with heterogeneous components as basic entities. The interests are manifold: modelling the different aspects of systems, allowing the use of many existing specification languages, formalizing the links between components in an easy and graphical way, making the reuse of components easier. A case study about a vending machine is specified to illustrate how this approach could be practically used.
منابع مشابه
Foundations for a Combination of Heterogeneous Specification Components
In this paper, we advocate an approach to combine formal specification components. Our work aims at building or reusing specification components, and compose them with a gluing language constituted of a minimal but sufficient set of operators. The glue allows to have at one’s disposal a global formal specification with heterogeneous components as basic entities. The interests are manifold: mode...
متن کاملAutomatic Generation of Component Wrappers from Communication Service Specification
A system-on-chip is composed of heterogeneous components interacting through a communication network. Wrappers are hardware components aimed to adapt these heterogeneous components to the network. Such an adaptation can be specified as a set of provided and required services, according to communication requirements and available resources. System-On-Chip designers require to quickly adapt to th...
متن کاملImplementation of Specification Conjunction and Domain Interaction in Rosetta
System Level Design is nowadays a complex process due to heterogeinity of domains of components in a single system. The language standard, Rosetta, was proposed as a means to help in such designs. An important feature in Rosetta is known as domain interaction and involves the analysis of interaction between models from domain to domain. The resulting interation models can then be used to ensure...
متن کاملA Unified Framework for Developing Service-Oriented, Component-Based Distributed Software Systems
This chapter introduces the UniFrame approach to creating high quality computing systems from heterogeneous components distributed over a network. It describes how this approach employs a unifying framework for specifying such systems to unite the concepts of service-oriented architectures, a component-based software engineering methodology and a mechanism for automatically finding components o...
متن کاملUsing Connectors for Deployment of Heterogeneous Applications in the Context of OMG D&C Specification
The OMG Deployment and Configuration specification is an attempt at standardizing the deployment process of component-based applications in distributed environment. A software connector is an abstraction capturing interaction among components. Apart from middleware independence, connectors provide additional services (e.g. adaptation, monitoring, etc.) and benefits, especially in the area of in...
متن کامل